Resource-Sensitive Reasoning with Sequential Information
نویسندگان
چکیده
A logic called sequence-indexed linear logic (SLL) is proposed to appropriately formalize resource-sensitive reasoning with sequential information. The completeness and cut-elimination theorems for SLL are shown, and SLL and a fragment of SLL are shown to be undecidable and decidable, respectively. As an application of SLL, some specifications of secure password authentication systems are discussed.
منابع مشابه
Improving Agent Performance for Multi-Resource Negotiation Using Learning Automata and Case-Based Reasoning
In electronic commerce markets, agents often should acquire multiple resources to fulfil a high-level task. In order to attain such resources they need to compete with each other. In multi-agent environments, in which competition is involved, negotiation would be an interaction between agents in order to reach an agreement on resource allocation and to be coordinated with each other. In recent ...
متن کاملA Resource-Sensitive Synchronization Inference by Abduction
We present an analysis which takes as its input a sequential program, augmented with annotations indicating potential parallelization opportunities, and a sequential proof, written in separation logic, and produces a correctly-synchronized parallelized program and proof of that program. Unlike previous work, ours is not an independence analysis; we insert synchronization constructs to preserve ...
متن کاملResource-sensitive synchronisation inference by abduction
We present an analysis which takes as its input a sequential program, augmented with annotations indicating potential parallelization opportunities, and a sequential proof, written in separation logic, and produces a correctly-synchronized parallelized program and proof of that program. Unlike previous work, ours is not an independence analysis; we insert synchronization constructs to preserve ...
متن کاملSequential Thresholds : Context Sensitive Default
Default logic encounters some conceptual dif-culties in representing common sense reasoning tasks. We argue that we should not try to formulate modular default rules that are presumed to work in all or most circumstances. We need to take into account the importance of the context which is continuously evolving during the reasoning process. Sequential thresholding is a quantitative counterpart o...
متن کاملارایه مدل برنامه ریزی آرمانی جهت تخصیص منابع در بخش آموزشی، دانشگاهی وزارت بهداشت درمان و آموزش پزشکی
Background and purpose: Nowdays in almost all organizations, resources are allocated based on traditional methods, personal experiences and mental reasoning power. This causes some dissatisfaction among people and have no generalization ability and mathematical basis. The objective of this research was to propose a fuzzy goal programming model in resource allocation at the university-educa...
متن کامل